Compiler Support for Dynamic Speculative Pre-Execution

Speculative pre-execution assisted by compiler (SPEAR)

Speculative pre-execution achieves efficient data prefetching by running additional prefetching threads on spare hardware contexts. Various implementations for speculative pre-execution have been proposed, including compiler-based static approaches and hardware-based dynamic approaches. A static approach defines the p-thread at compile time and executes it as a stand-alone running thread. There...

Compiler Support 3.1 Speculative Execution 3.2 Compiler Assisted Synthesis of Algorithm-based Checking in Multiprocessors 3

Eager Execution : An Optimal Form of Speculative Execution

Three papers will be discussed in this section: Effective Compiler Support for Predicated Execution Using the Hyperblock, by Mahlke et al.; Disjoint Eager Execution: An Optimal Form of Speculative Execution, by Uht and Singdagi; and Selective Eager Execution on the Poly Path Architecture, by Klauser, Paithankar and Grunwald. These papers will close out the “processor front-end” section of the c...

Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler

The semantics of some dynamic programming languages, including Python, JavaScript, and R5RS Scheme, make it hard for a compiler to inline predefined procedures without compromising the semantics of the language. In the case of Scheme, many existing compilers can only achieve good execution speed by assuming that variables bound to predefined procedures are never mutated. This paper presents a s...

Support for Software Assisted Speculative Execution

Computer architects strive to improve machine performance by exploiting parallelism, but control flow and data dependences limit available parallelism. Speculative execution enhances parallelism by selectively ignoring the constraints of control flow and data dependences, thereby executing instructions before it it known whether they are needed or correct. Software assisted speculative executio...